Nuprl Definition : qexp 11,40
r  n == r <+*> n 
latex

Definitions<+*>, e r n
FDL editor aliasesqexp

origin